#include <stdio.h>
#include <stdlib.h>

int main(int argc, char const *argv[])
{
    int x;
    scanf("%d", &x);

    printf("%d", x * 2 + 1);

    return 0;
}
